- behavioral semantics
- поведенческая семантика
English-Russian dictionary of computer science and programming. 2013.
behavioral semantics
Смотреть что такое "behavioral semantics" в других словарях:
Semantics — is the study of meaning in communication. The word derives from Greek σημαντικός ( semantikos ), significant , [cite web|url=http://www.perseus.tufts.edu/cgi bin/ptext?doc=Perseus%3Atext%3A1999.04.0057%3Aentry%3D%2393797|title=Semantikos, Henry… … Wikipedia
semantics — A branch of semiotics : 1. The study of the significance and development of the meaning of words. 2. The study concerned with the relations between signs and their referents; the relations between the signs of a system; and human behavioral… … Medical dictionary
Denotational semantics of the Actor model — The denotational semantics of the Actor model is the subject of denotational domain theory for Actors. The historical development of this subject is recounted in [Hewitt 2008b]. Contents 1 Actor fixed point semantics 2 Compositionality in… … Wikipedia
Kasi Periyasamy — Dr. Kasi Periyasamy has been teaching at the University of Wisconsin La Crosse, La Crosse, Wisconsin, since 1999.He was also a faculty member in the Department of Computer Science at the University of Manitoba, Winnipeg, Manitoba, Canada from… … Wikipedia
Actor model — In computer science, the Actor model is a mathematical model of concurrent computation that treats actors as the universal primitives of concurrent digital computation: in response to a message that it receives, an actor can make local decisions … Wikipedia
Unbounded nondeterminism — In computer science, unbounded nondeterminism or unbounded indeterminacy is a property of concurrency by which the amount of delay in servicing a request can become unbounded as a result of arbitration of contention for shared resources while… … Wikipedia
Actor model and process calculi history — The Actor model and process calculi share an interesting history and co evolution.Early workThe Actor model, first published in 1973, [Carl Hewitt, Peter Bishop and Richard Steiger. A Universal Modular Actor Formalism for Artificial Intelligence… … Wikipedia
History of the Actor model — In computer science, the Actor model, first published in 1973 ref harvard|Hewitt|Hewitt et al. 1973| , is a mathematical model of concurrent computation. Many fundamental issues were discussed and debated in the early history of the Actor model.… … Wikipedia
Database refactoring — A database refactoring is a simple change to a database schema that improves its design while retaining both its behavioral and informational semantics. A database refactoring is conceptually more difficult than a code refactoring; code… … Wikipedia
Модель акторов — В компьютерных науках модель акторов представляет собой математическую модель параллельных вычислений, которая трактует понятие «актор» как универсальный примитив параллельного численного расчёта: в ответ на сообщения, которые он получает, актор… … Википедия
Open Cobalt — Developer(s) Community source and Duke University Initial release 2009 Development … Wikipedia
